A formula of the predicate calculus is in prenexThe term 'prenex' comes from the Latin praenexus "tied or bound up in front", past participle of praenectere normal form] if it is written as a string of [[quantifiers (referred to as the prefix) followed by a quantifier-free part (referred to as the matrix).
网络释义
1、[数]前束范式
在例10中的元组关系演算公式可以变换为 前束范式 ( Prenex normal form )的形式:用户在使用查询语言时,经常要作一些简单的计算,例如要求符合某一查询要求的元组数,求某个关系中所有元组在某属性上的值的...
2、前束标准型
... 永真命题 tautology 前束标准型 prenex normal form 理论 theory ...